منابع مشابه
Probabilistic Fuzzy Systems as Additive Fuzzy Systems
Probabilistic fuzzy systems combine a linguistic description of the system behaviour with statistical properties of data. It was originally derived based on Zadeh’s concept of probability of a fuzzy event. Two possible and equivalent additive reasoning schemes were proposed, that lead to the estimation of the output’s conditional probability density. In this work we take a complementary approac...
متن کاملLarge deviations for ideal quantum systems
We consider a general d-dimensional quantum system of non-interacting particles in a very large ~formally infinite! container. We prove that, in equilibrium, the fluctuations in the density of particles in a subdomain L of the container are described by a large deviation function related to the pressure of the system. That is, untypical densities occur with a probability exponentially small in ...
متن کاملIdeal Decompositions for Vector Addition Systems
Vector addition systems, or equivalently Petri nets, are one of the most popular formal models for the representation and the analysis of parallel processes. Many problems for vector addition systems are known to be decidable thanks to the theory of well-structured transition systems. Indeed, vector addition systems with configurations equipped with the classical point-wise ordering are well-st...
متن کاملIdeal Abstractions for Well-Structured Transition Systems
Many infinite state systems can be seen as well-structured transition systems (WSTS), i.e., systems equipped with a well-quasi-ordering on states that is also a simulation relation. WSTS are an attractive target for formal analysis because there exist generic algorithms that decide interesting verification problems for this class. Among the most popular algorithms are acceleration-based forward...
متن کاملEvolving Additive Trees for Modeling Biochemical Systems
This paper presents a hybrid evolutionary method for identifying a system of ordinary differential equations (ODEs) from the observed time series. In this approach, the tree-structure based evolution algorithm and particle swarm optimization (PSO) are employed to evolve the architecture and the parameters of the additive tree models for the problem of system identification. Experimental results...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1971
ISSN: 0021-8693
DOI: 10.1016/0021-8693(71)90135-9